Free shipping on all orders! No minimum purchase required.
Temporal Verification of Reactive Systems
by Zohar Manna, Amir Pnueli
Mathematical Theory of Computation
by Zohar Manna
The Calculus of Computation
by Aaron R. Bradley, Zohar Manna
Verification - Theory and Practice
by Nachum Dershowitz (Editor), Zohar Manna
